- Workshop on Principles of Abstract Machines
- Abbreviation: WPAM
Универсальный русско-английский словарь. Академик.ру. 2011.
Workshop on Principles of Abstract Machines
Смотреть что такое "Workshop on Principles of Abstract Machines" в других словарях:
WPAM — Worldwide Packet Access Model (Computing » Networking) * Workshop on Principles of Abstract Machines (Community » Conferences) … Abbreviations dictionary
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
theatre — /thee euh teuhr, theeeu /, n. theater. * * * I Building or space in which performances are given before an audience. It contains an auditorium and stage. In ancient Greece, where Western theatre began (5th century BC), theatres were constructed… … Universalium
Western sculpture — ▪ art Introduction three dimensional artistic forms produced in what is now Europe and later in non European areas dominated by European culture (such as North America) from the Metal Ages (Europe, history of) to the present. Like… … Universalium
computer — computerlike, adj. /keuhm pyooh teuhr/, n. 1. Also called processor. an electronic device designed to accept data, perform prescribed mathematical and logical operations at high speed, and display the results of these operations. Cf. analog… … Universalium
Western architecture — Introduction history of Western architecture from prehistoric Mediterranean cultures to the present. The history of Western architecture is marked by a series of new solutions to structural problems. During the period from the… … Universalium
List of important publications in computer science — This is a list of important publications in computer science, organized by field. Some reasons why a particular publication might be regarded as important: Topic creator – A publication that created a new topic Breakthrough – A publication that… … Wikipedia
arts, East Asian — Introduction music and visual and performing arts of China, Korea, and Japan. The literatures of these countries are covered in the articles Chinese literature, Korean literature, and Japanese literature. Some studies of East Asia… … Universalium
Europe, history of — Introduction history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… … Universalium
technology, history of — Introduction the development over time of systematic techniques for making and doing things. The term technology, a combination of the Greek technē, “art, craft,” with logos, “word, speech,” meant in Greece a discourse on the arts, both… … Universalium
